$\forall$$T$:Type, $l$:($T$ List), $i$:$\mathbb{Z}$, $x$:$T$. $l$[$i$:=$x$] $\in$ ($T$ List)